Problema de Galois inverso

En teoría de Galois, el problema de Galois inverso plantea si todo grupo finito puede ser el grupo de Galois de alguna extensión de los números racionales. Este problema, propuesto inicialmente por Hilbert en el siglo XIX,​ permanece sin resolver.

Más generalmente, sea $G$ un grupo finito dado, y sea $K$ un cuerpo. Entonces la pregunta es: ¿existe una extensión de cuerpos galoisiana $L/K$ tal que el grupo de Galois de la extensión sea isomorfo a $G$? Se dice que $G$ es realizable sobre $K$ si dicho cuerpo $L$ existe.

Resultados parciales

Pese a ser un problema abierto, se conocen muchos detalles sobre algunos casos particulares. Se sabe, por ejemplo (Šafarevič), que todo grupo finito es realizable sobre cualquier cuerpo de funciones en una variable sobre los números complejos $\mathbb {C}$, y más generalmente sobre cuerpos de funciones en una variable sobre cualquier cuerpo algebraicamente cerrado de característica cero. Šafarevič mostró que todo grupo finito resoluble es realizable sobre $\mathbb {Q}$. También se sabe que los 26 grupos esporádicos, a excepción del grupo de Mathieu $M_{23}$, son realizables sobre $\mathbb {Q}$.​

Hilbert había mostrado que esta cuestión está relacionada con una pregunta de racionalidad para $G$: si $K$ es una extensión cualquiera de $\mathbb {Q}$, en la que $G$ actúa como grupo de automorfismos y el cuerpo fijo por $G$, $K^{G}$, es racional sobre $\mathbb {Q}$, entonces $G$ es realizable sobre $\mathbb {Q}$. Aquí «racional» significa que es una extensión puramente trascendental de $\mathbb {Q}$, generada por un conjunto algebraicamente independiente. Este criterio puede, por ejemplo, emplearse para demostrar que todos los grupos simétricos son realizables.

Se ha profundizado mucho en esta cuestión, para la que aún no existe una resolución general. Algunos de los trabajos llevados a cabo se basan en construir $G$ geométricamente como un recubrimiento de Galois de la recta proyectiva: en términos algebraicos, empezar con una extensión del cuerpo $\mathbb {Q} (t)$ de funciones racionales en una indeterminada $t$; después aplicar el teorema de irreducibilidad de Hilbert para especializar $t$, de tal manera que se conserve su grupo de Galois.

Un ejemplo sencillo: los grupos cíclicos

Es posible, mediante resultados clásicos, construir explícitamente un polinomio cuyo grupo de Galois sobre $\mathbb {Q}$ sea el grupo cíclico $\mathbb {Z} /n\mathbb {Z}$ para cualquier $n$ positivo. Para hacer esto, elíjase un primo $p$ tal que $p\equiv 1{\pmod {n}}$; esto es posible por el teorema de Dirichlet. Sea $\mathbb {Q} (\xi )$ la extensión ciclotómica de $\mathbb {Q}$ generada por $\xi$, donde $\xi$ es una raíz p-ésima primitiva de la unidad; el grupo de Galois de $\mathbb {Q} (\xi )/\mathbb {Q}$ es cíclico de orden $p-1$.

Puesto que $n$ divide a $p-1$, el grupo de Galois tiene un subgrupo cíclico $H$ de orden $(p-1)/n$. El teorema fundamental de la teoría de Galois implica que el correspondiente cuerpo fijo por $H$

$F=\mathbb {Q} (\xi )^{H}$

tiene grupo de Galois $\mathbb {Z} /n\mathbb {Z}$ sobre $\mathbb {Q}$. Tomando las sumas de conjugados de $\xi$ apropiadas, de acuerdo con la construcción de períodos de Gauss, se puede encontrar un elemento $\alpha$ de $F$ que genera $F$ sobre $\mathbb {Q}$, y calcular su polinomio mínimo.

Este método puede extenderse para abarcar todos los grupos abelianos finitos, ya que cada uno de ellos aparece de hecho como cociente del grupo de Galois de alguna extensión ciclotómica de $\mathbb {Q}$. (Esta afirmación no debe confundirse con el teorema de Kronecker-Weber, un resultado mucho más profundo.)

Ejemplo elaborado: el grupo cíclico de orden tres

Para $n=3$, podemos tomar $p=7$. En ese caso ${\text{Gal}}(\mathbb {Q} (\xi )/\mathbb {Q} )$ es cíclico de orden seis. Tomemos el generador $\eta$ de este grupo que manda $\xi$ a $\xi ^{3}$. Estamos interesados en el subgrupo $H=\{1,\eta ^{3}\}$ de orden dos. Considérese el elemento $\alpha =\xi +\eta ^{3}(\xi )$. Por construcción, $\alpha$ queda fijo por $H$, y sólo tiene tres conjugados sobre $\mathbb {Q}$, dados por

$\alpha =\xi +\xi ^{6},\quad \beta =\eta (\alpha )=\xi ^{3}+\xi ^{4},\quad \gamma =\eta ^{2}(\alpha )=\xi ^{2}+\xi ^{5}$.

Usando la identidad $1+\xi +\xi ^{2}+\ldots +\xi ^{6}=0$, encontramos que

$\alpha +\beta +\gamma =-1$,

$\alpha \beta +\beta \gamma +\gamma \alpha =-2$, y

$\alpha \beta \gamma =1$.

Por lo tanto $\alpha$ es una raíz del polinomio

$(x-\alpha )(x-\beta )(x-\gamma )=x^{3}+x^{2}-2x-1$,

que en consecuencia tiene grupo de Galois $\mathbb {Z} /3\mathbb {Z}$ sobre $\mathbb {Q}$.

Grupos simétricos y alternados

Hilbert demostró que todos los grupos simétricos y alternados son grupos de Galois de polinomios con coeficientes racionales.

Por ejemplo, el polinomio $x^{n}+ax+b$ tiene discriminante

$(-1)^{n(n-1)/2}[n^{n}b^{n-1}+(-1)^{1-n}(n-1)^{n-1}a^{n}]$.

Consideremos el caso especial

$f(x,s)=x^{n}-sx-s$.

Sustituyendo un entero primo por $s$ en $f(x,s)$ se obtiene como resultado un polinomio (llamado «especialización» de $f(x,s)$) que es irreducible por el criterio de Eisenstein. Por tanto $f(x,s)$ debe ser irreducible sobre $\mathbb {Q} (s)$. Más aún, $f(x,s)$ puede escribirse de la forma

$x^{n}-x/2-1/2-(s-1/2)(x+1)$

y así $f(x,1/2)$ puede factorizarse como:

$(x-1)(1+2x+2x^{2}+\ldots +2x^{n-1})/2$,

cuyo segundo factor es irreducible por el criterio de Eisenstein. Acabamos de demostrar que el grupo $\operatorname {Gal} (f(x,s)/\mathbb {Q} (s))$ es doblemente transitivo.

Podemos ahora deducir que este grupo de Galois contiene una trasposición. Usando el escalado $(1-n)x=ny$ se obtiene

$y^{n}-s((1-n)/n)^{n-1}y-s((1-n)/n)^{n}$

y mediante $t=s(1-n)^{n-1}/n^{n}$ se obtiene ahora

$g(y,t)=y^{n}-nty+(n-1)t$,

que puede reescribirse como

$y^{n}-y-(n-1)(y-1)+(t-1)(-ny+n-1)$.

Entonces $g(y,1)$ tiene 1 como raíz doble y sus otras $n-2$ raíces son simples, lo que implica que existe una transposición en $\operatorname {Gal} (f(x,s)/\mathbb {Q} (s))$. Cualquier grupo de permutaciones doblemente transitivo que contenga una trasposición es un grupo simétrico completo.

El teorema de irreducibilidad de Hilbert implica entonces que un conjunto infinito de números racionales dan especializaciones de $f(x,t)$ cuyos grupos de Galois son $S_{n}$ sobre $\mathbb {Q}$. De hecho este conjunto de racionales es denso en $\mathbb {Q}$.

El discriminante de $g(y,t)$ es igual a

$(-1)^{n(n-1)/2}n^{n}(n-1)^{n-1}t^{n-1}(1-t)$,

que no es, en general, un cuadrado perfecto.

Grupos alternados

Las soluciones para grupos alternados deben tratarse por separado para los grados par e impar. Sea

$t=1-(-1)^{n(n-1)/2}nu^{2}$.

Tras esta sustitución el discriminante de $g(y,t)$ es igual a

$n^{n+1}(n-1)^{n-1}t^{n-1}u^{2}$,

que es un cuadrado perfecto cuando $n$ es impar.

En el caso par sea $t$ el recíproco de

$1+(-1)^{n(n-1)/2}(n-1)u^{2}$,

de donde $1-t$ se hace

$t(-1)^{n(n-1)/2}(n-1)u^{2}$,

y el discriminante se hace

$n^{n}(n-1)^{n}t^{n}u^{2}$,

que es un cuadrado perfecto cuando $n$ es par.

De nuevo, el teorema de irreducibilidad de Hilbert implica la existencia de infinitas especializaciones cuyos grupos de Galois son grupos alternados.

Grupos rígidos

Supongamos que $C_{1},\ldots ,C_{n}$ son clases de conjugación de un grupo finito $G$, y sea $A$ el conjunto de n-tuplas $(g_{1},\ldots ,g_{n})$ de $G$ tales que $g_{i}$ está en $C_{i}$ y el producto $g_{1}\cdots g_{n}$ es trivial. Entonces se dice que $A$ es rígido si es no vacío, $G$ actúa transitivamente sobre él por conjugación, y cada elemento de $A$ genera $G$.

Thompson (1984) mostró que si un grupo finito $G$ posee un subgrupo rígido, entonces es muy posible que pueda realizarse como grupo de Galois sobre una extensión ciclotómica de los racionales.

Esto puede usarse para mostrar que muchos grupos simples finitos, incluido el grupo simple monstruo, son grupos de Galois de extensiones de los racionales.

El paradigma de la rigidez es el grupo simétrico $S_{n}$, que está generado por un n-ciclo y una trasposición cuyo producto es un (n−1)-ciclo. La construcción en la sección precedente hacía uso de estos generadores para determinar el grupo de Galois de un polinomio.

Una construcción mediante una función modular elíptica

Sea $n$ un entero mayor que 1. Un retículo Λ en el plano complejo de periodo $\tau$ contiene un subretículo Λ' de periodo $n\tau$. Este último pertenece al conjunto finito de subretículos permutados por el grupo modular PSL(2,Z), que se basa en cambios de base para Λ. Sea $j$ la función modular elíptica de Klein. Definamos el polinomio $\varphi _{n}$ como el producto de las diferencias $(X-j(\wedge _{i}))$ sobre los subretículos conjugados. Como polinomio en $X$, $\varphi _{n}$ tiene coeficientes que son polinomios sobre $\mathbb {Q}$ en $j(\tau )$.

En los retículos conjugados, el grupo modular actúa como PGL(2,Z_n). Se sigue que $\varphi _{n}$ tiene grupo de Galois isomorfo a PGL(2,Z_n) sobre $\mathbb {Q} (J(\tau ))$.

El teorema de irreducibilidad de Hilbert permite obtener un conjunto infinito (y denso) de números racionales que especializan $\varphi _{n}$ a polinomios con grupo de Galois PGL(2,Z_n) sobre $\mathbb {Q}$. Los grupos PGL(2,Z_n) incluyen infinitos grupos no resolubles.

Referencias

• Malle, Gunter; B. Heinrich Matzat (1999). Inverse Galois Theory (en inglés) (1ª edición). Berlín, Heidelberg: Springer-Verlag. pp. 460. ISBN 3-540-62890-8. 

• Schneps, Leila; Pierre Lochak (1997). London Mathematical Society, ed. Geometric Galois Actions. 2. The Inverse Galois Problem, Moduli Spaces and Mapping Class Groups (en inglés) (1ª edición). Cambridge: Cambridge University Press. p. 360. ISBN 0-521-59641-6. 

• Vila, Núria (1992). «On the inverse problem of Galois theory». Publicacions Matemàtiques (en inglés) 36 (2B): 1053-1073. Archivado desde el original el 4 de abril de 2010. Consultado el 6 de abril de 2010. 

• Völklein, Helmut (1996). Cambridge Studies in Advanced Mathematics, ed. Groups as Galois Groups: an introduction (en inglés) (1ª edición). Cambridge: Cambridge University Press. pp. 276. ISBN 0-521-56280-5. 

Enlaces externos

• Problema Inverso de Galois
• Web Center for Pure Mathematics.

• Datos: Q2358071